81. Distributed, Ambient, and Pervasive Interactions.
پدیدآورنده : \ Norbert Streitz , Panos Markopoulos (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Human-computer interaction -- Congresses.,Ubiquitous computing -- Congresses,انسان و کامپیوتر -- کنگرهها ,محاسبه فراگیر -- کنگره ها
رده :
QA
76
.
9
.
D5
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
82. Distributed Computing.
پدیدآورنده : \ Yoram Moses (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,Computer networks,کامپیوتر,شبکههای کامپیوتری,a04,a05,a04,a05,Electronic data processing -- Distributed processing -- Congresses,دادهپردازی -- پردازش توزبع شده -- کنگره ها
رده :
QA
76
.
9
.
D5
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
83. EP92 : proceedings of Electronic Publishing 1992
پدیدآورنده : / edited by C. Vanoirbeek & G. Coray , Swiss Federal Institute of Technology.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع : نشر الکترونیکی-- کنگره ها,متن پردازی( کامپیوتر) -- کنگره ها,حروفچینی کامپیوتری-- کنگره ها,مدرک رسانی-- کنگره ها
رده :
Z
۲۴۹
/
الف
۹
الف
۹ ۱۳۷۱
![](/design/images/bookmore.png)
84. Engineering Societies in the AgentsWorld II
پدیدآورنده : \ Andrea Omicini, Paolo Petta, Robert Tolksdorf (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Intelligent agents (Computer software) -- Congresses.,Engineering -- Societies, etc. -- Congresses.,عوامل هوشمند (نرمافزار کامپیوتر) -- کنگره ها,مهندسی -- انجمنها -- کنگره ها
رده :
E-Book
,
![](/design/images/bookmore.png)
85. Evolutionary Computation in Combinatorial Optimization
پدیدآورنده : \ Gabriela Ochoa , Francisco Chicano (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Evolutionary computation -- Congresses,Combinatorial optimization -- Data processing -- Congresses,Evolutionary programming (Computer science) -- Congresses.,محاسبات تکاملی -- کنگره ها ,بهینهسازی ترکیبی -- دادهپردازی -- کنگره ها ,برنامه نویسی تکاملی (کامپیوتر) -- کنگره ها
رده :
.
E94
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
86. Evolutionary and Biologically Inspired Music, Sound, Art and Design
پدیدآورنده : \ Colin Johnson , Adrian Carballal, João Correia (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Evolutionary programming (Computer science) -- Congresses.,Biologically-inspired computing -- Congresses.,Computer music -- Congresses.,برنامهنویسی تکاملی (کامپیوتر) -- کنگره ها,موسیقی کامپیوتری -- کنگره ها
رده :
QA
76
.
618
.
E94
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
87. FM 2015
پدیدآورنده : \ Nikolaj Bjørner , Frank de Boer (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering.,روشهای صوری (کامپیوتر) -- کنگره ها ,مهندسی نرم افزار
رده :
QA
76
.
9
.
F57
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
88. Face and Facial Expression Recognition from Real World Videos
پدیدآورنده : \ [Edited by] Qiang Ji...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Human face recognition (Computer science) -- Congresses.,Pattern recognition systems -- Congresses,Computer vision -- Congresses.,چهرهشناسی انسان (کامپیوتر) -- کنگره ها ,الگوشناسی -- سیستمها -- کنگرهها ,بینایی ماشین -- کنگره ها
رده :
TA
1650
.
F32
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
89. Fields of Logic and Computation II
پدیدآورنده : \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگرهها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها
رده :
QA
76
.
9
.
L63
F54
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
90. Formal Aspects of Component Software
پدیدآورنده : \ [Edited by] Christiano Braga, Peter Csaba Ölveczky
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Component software -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار مولفهای -- کنگره ها
رده :
QA
76
.
9
.
F67
2016
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
91. Formal Aspects of Component Software
پدیدآورنده : \ [edited by] Ivan Lanese, Eric Madelaine.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Component software -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار مولفهای -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
92. Formal Concept Analysis
پدیدآورنده : \ Jaume Baixeries , Christian Sacarea, Manuel Ojeda-Aciego (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science -- Mathematics -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Formal methods (Computer science) -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها ,منطق ریاضی-- کنگرهها ,روشهای صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
9
.
F67
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
93. Formal Methods
پدیدآورنده : \ [edited by] Christiano Braga, Narciso Marti-Oliet.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها
رده :
.
F67
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
94. Formal Methods for Industrial Critical Systems
پدیدآورنده : \ Manuel Núñez , Matthias Güdemann (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها ,برنامههای کامپیوتری -- راستیآزمایی -- کنگره ها
رده :
QA
76
.
9
.
F6
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
95. Formal Techniques for Distributed Objects, Components, and Systems
پدیدآورنده : \ Susanne Graf , Mahesh Viswanathan (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.,Computer network protocols -- Congresses.,دادهپردازی -- پردازش توزبع شده -- کنگره ها ,روشهای صوری (کامپیوتر) -- کنگره ها ,پروتکلهای شبکه کامپیوتری -- کنگره ها
رده :
QA
76
.
9
.
D5F6
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
96. Formal Techniques for Safety-Critical Systems
پدیدآورنده : [edited by] Cyrille Artho, Peter Csaba Olveczky.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,System safety -- Congresses.,Systems engineering -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها,ایمنی سیستمها -- کنگره ها ,مهندسی سیستم ها -- گنگره ها
رده :
QA
76
.
9
.
F6
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
97. Formal methods
پدیدآورنده : \ Márcio Cornélio , Bill Roscoe (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Formal methods (Computer science),روشهای صوری (کامپیوتر) -- کنگره ها ,روشهای صوری (کامپیوتر)
رده :
QA
76
.
9
.
F67
2016
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
98. Formal methods for multicore programming
پدیدآورنده : \ Marco Bernardo , Einar Broch Johnsen (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Development -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering.,نرمافزار -- تولید -- کنگره ها ,روشهای صوری (کامپیوتر) -- کنگره ها
رده :
QA
76
.
76
.
F6
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
99. Foundations of Augmented Cognition
پدیدآورنده : \ Dylan D. Schmorrow , Cali M. Fidopiastis (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : User-centered system design -- Congresses.,Human-computer interaction -- Congresses.,Cognition -- Congresses,طراحی سیستم کاربرمدار -- کنگره ها ,انسان و کامپیوتر -- کنگرهها ,شناخت -- کنگره ها
رده :
QA
76
.
9
.
H85F6
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
100. Frontiers in Computer Education
پدیدآورنده : \ Editor Yuanzhi Wang
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Engineering,Artificial intelligence,مهندسی,هوش مصنوعی,a04,a05,a04,a05,Computer science -- Study and teaching -- Congresses. ,علوم کامپیوتر -- راهنمای آموزشی -- کنگره ها
رده :
QA
76
.
27
.
F7
2015
E-Book
,
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)